Dinapter: Automatic Adapter Specification for Software Composition

Dinapter: Automatic Adapter Specification for Software Composition

Enterprise systems rely heavily on compositional software like Software Components or Web Services. The composition of this software allows software reusability, greater productivity and reduced costs. However, these components are black-boxes and their direct reuse is prevented by incompatibilities between their interfaces. There are several approaches focused on Software Adaptation which are ...

Specification-carrying Software: Evolving Specifications for Dynamic System Composition

Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing this collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including...

On Specification Carrying Software, its Refinement and Composition

In this paper, we present the framework of evolving specifications (especs), implementing, in the categorical setting of algebraic specifications, a logical view of state, known from Hoare logic to abstract state machines (evolving algebras). The categorical support for both top-down and bottom-up development is thus extended from the refinement and composition of the structure of programs, to ...

Automatic Orchestration for Automatic Composition

The automatic orchestration problem is that of assigning instruments or sounds to the notes of an unorchestrated score. This is related to, but distinct from, problems of automatic expressive interpretation. A simple algorithm is described that successfully orchestrates scores based on analysis of one musical structure – the “Z-chain.” One way for an autonomous system to compose is to initially...

Software Specification